Bodík, Rastislav: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

The world's largest scientific articles store. 70,000,000+ articles for free.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

1

Complete removal of redundant expressions

Bodík, Rastislav, Gupta, Rajiv, Soffa, Mary Lou

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 2.48 MB

english, 2004

2

[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Syntax-guided synthesis

Alur, Rajeev, Bodik, Rastislav, Juniwal, Garvit, Martin, Milo M. K., Raghothaman, Mukund, Seshia, Sanjit A., Singh, Rishabh, Solar-Lezama, Armando, Torlak, Emina, Udupa, Abhishek

Year:

2013

Language:

english

File:

PDF, 350 KB

english, 2013

3

[ACM Press the 20th annual ACM SIGPLAN conference - San Diego, CA, USA (2005.10.16-2005.10.20)] Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '05 - Demand-driven points-to analysis for Java

Sridharan, Manu, Gopan, Denis, Shan, Lexin, Bodík, Rastislav

Year:

2005

Language:

english

File:

PDF, 356 KB

english, 2005

4

[ACM Press the 2006 ACM SIGPLAN conference - Ottawa, Ontario, Canada (2006.06.11-2006.06.14)] Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation - PLDI '06 - Refinement-based context-sensitive points-to analysis for Java

Sridharan, Manu, Bodík, Rastislav

Year:

2006

Language:

english

File:

PDF, 304 KB

english, 2006

5

Programming with models: writing statistical algorithms for general model structures with NIMBLE

de Valpine, Perry, Turek, Daniel, Paciorek, Christopher J., Anderson-Bergman, Clifford, Lang, Duncan Temple, Bodik, Rastislav

Journal:

Journal of Computational and Graphical Statistics

Year:

2016

Language:

english

File:

PDF, 539 KB

english, 2016

6

Specifying and verifying sparse matrix codes

Arnold, Gilad, Hölzl, Johannes, Köksal, Ali Sinan, Bodík, Rastislav, Sagiv, Mooly

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 456 KB

english, 2010

7

Complete removal of redundant expressions

Bodík, Rastislav, Gupta, Rajiv, Soffa, Mary Lou

Journal:

ACM SIGPLAN Notices

Year:

1998

Language:

english

File:

PDF, 2.03 MB

english, 1998

8

[ACM Press The 31st Annual ACM Symposium - Berlin, Germany (2018.10.14-2018.10.14)] The 31st Annual ACM Symposium on User Interface Software and Technology - UIST '18 - Rousillon

Chasins, Sarah E., Mueller, Maria, Bodik, Rastislav

Year:

2018

Language:

english

File:

PDF, 2.43 MB

english, 2018

9

Anaerobic treatment of biodiesel by-products in a pilot scale reactor

Nina Kolesárová, Miroslav Hutňan, Viera Špalková, Rastislav Kuffa, Igor Bodík

Journal:

Chemical Papers

Year:

2011

Language:

english

File:

PDF, 255 KB

english, 2011

10

Algorithmic program synthesis: introduction

Bodik, Rastislav, Jobstmann, Barbara

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2013

Language:

english

File:

PDF, 305 KB

english, 2013

11

[ACM Press the 12th international conference - Indianapolis, Indiana, USA (2013.10.27-2013.10.28)] Proceedings of the 12th international conference on Generative programming: concepts & experiences - GPCE '13 - Modeling biology with solver-aided programming languages

Bodik, Rastislav

Year:

2013

Language:

english

File:

PDF, 321 KB

english, 2013

12

[ACM Press the 29th ACM SIGPLAN-SIGACT symposium - Portland, Oregon (2002.01.16-2002.01.18)] Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '02 - Mining specifications

Ammons, Glenn, Bodík, Rastislav, Larus, James R.

Year:

2002

Language:

english

File:

PDF, 299 KB

english, 2002

13

[ACM Press the 2011 ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.27)] Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11 - Synthesis of first-order dynamic programming algorithms

Pu, Yewen, Bodik, Rastislav, Srivastava, Saurabh

Year:

2011

Language:

english

File:

PDF, 687 KB

english, 2011

14

A view of the parallel computing landscape

Asanovic, Krste, Wawrzynek, John, Wessel, David, Yelick, Katherine, Bodik, Rastislav, Demmel, James, Keaveny, Tony, Keutzer, Kurt, Kubiatowicz, John, Morgan, Nelson, Patterson, David, Sen, Koushik

Journal:

Communications of the ACM

Year:

2009

Language:

english

File:

PDF, 7.34 MB

english, 2009

15

Thin slicing

Sridharan, Manu, Fink, Stephen J., Bodik, Rastislav

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 297 KB

english, 2007

16

Jungloid mining

Mandelin, David, Xu, Lin, Bodík, Rastislav, Kimelman, Doug

Journal:

ACM SIGPLAN Notices

Year:

2005

Language:

english

File:

PDF, 250 KB

english, 2005

17

[ACM Press the 18th ACM SIGPLAN symposium - Shenzhen, China (2013.02.23-2013.02.27)] Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '13 - Parallel schedule synthesis for attribute grammars

Meyerovich, Leo A., Torok, Matthew E., Atkinson, Eric, Bodik, Rastislav

Year:

2013

Language:

english

File:

PDF, 1.45 MB

english, 2013

18

[ACM Press the 19th international conference - Raleigh, North Carolina, USA (2010.04.26-2010.04.30)] Proceedings of the 19th international conference on World wide web - WWW '10 - Fast and parallel webpage layout

Meyerovich, Leo A., Bodik, Rastislav

Year:

2010

Language:

english

File:

PDF, 11.58 MB

english, 2010

19

[Lecture Notes in Computer Science] Compiler Construction Volume 3443 || An Efficient On-the-Fly Cycle Collection

Bodik, Rastislav

Year:

2005

Language:

english

File:

PDF, 170 KB

english, 2005

20

An efficient profile-analysis framework for data-layout optimizations

Rubin, Shai, Bodík, Rastislav, Chilimbi, Trishul

Journal:

ACM SIGPLAN Notices

Year:

2002

Language:

english

File:

PDF, 240 KB

english, 2002

21

[ACM Press Proceeding of the 33rd international conference - Waikiki, Honolulu, HI, USA (2011.05.21-2011.05.28)] Proceeding of the 33rd international conference on Software engineering - ICSE '11 - Angelic debugging

Chandra, Satish, Torlak, Emina, Barman, Shaon, Bodik, Rastislav

Year:

2011

Language:

english

File:

PDF, 326 KB

english, 2011

22

[ACM Press the 35th ACM SIGPLAN Conference - Edinburgh, United Kingdom (2014.06.09-2014.06.11)] Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 - A lightweight symbolic virtual machine for solver-aided host languages

Torlak, Emina, Bodik, Rastislav

Year:

2013

Language:

english

File:

PDF, 509 KB

english, 2013

23

[ACM Press the 2005 ACM SIGPLAN conference - Chicago, IL, USA (2005.06.12-2005.06.15)] Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation - PLDI '05 - Programming by sketching for bit-streaming programs

Solar-Lezama, Armando, Rabbah, Rodric, Bodík, Rastislav, Ebcioğlu, Kemal

Year:

2005

Language:

english

File:

PDF, 313 KB

english, 2005

24

[ACM Press the 20th annual ACM SIGPLAN conference - San Diego, CA, USA (2005.10.16-2005.10.20)] Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '05 - Runtime specialization with optimistic heap analysis

Shankar, Ajeet, Sastry, S. Subramanya, Bodík, Rastislav, Smith, James E.

Year:

2005

Language:

english

File:

PDF, 415 KB

english, 2005

25

[ACM Press the 12th international conference - San Jose, California, USA (2006.10.21-2006.10.25)] Proceedings of the 12th international conference on Architectural support for programming languages and operating systems - ASPLOS-XII - A regulated transitive reduction (RTR) for longer memory race recording

Xu, Min, Hill, Mark D., Bodik, Rastislav

Year:

2006

Language:

english

File:

PDF, 512 KB

english, 2006

26

[ACM Press the 2005 ACM SIGPLAN conference - Chicago, IL, USA (2005.06.12-2005.06.15)] Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation - PLDI '05 - Jungloid mining

Mandelin, David, Xu, Lin, Bodík, Rastislav, Kimelman, Doug

Year:

2005

Language:

english

File:

PDF, 250 KB

english, 2005

27

[ACM Press the 12th international conference - San Jose, California, USA (2006.10.21-2006.10.25)] Proceedings of the 12th international conference on Architectural support for programming languages and operating systems - ASPLOS-XII - Combinatorial sketching for finite programs

Solar-Lezama, Armando, Tancau, Liviu, Bodik, Rastislav, Seshia, Sanjit, Saraswat, Vijay

Year:

2006

Language:

english

File:

PDF, 307 KB

english, 2006

28

[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - DITTO

Shankar, Ajeet, Bodík, Rastislav

Year:

2007

Language:

english

File:

PDF, 253 KB

english, 2007

29

[ACM Press the eighteenth ACM SIGSOFT international symposium - Santa Fe, New Mexico, USA (2010.11.07-2010.11.11)] Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10 - Field-sensitive program dependence analysis

Litvak, Shay, Dor, Nurit, Bodik, Rastislav, Rinetzky, Noam, Sagiv, Mooly

Year:

2010

Language:

english

File:

PDF, 437 KB

english, 2010

30

[ACM Press the 2013 ACM international symposium - Indianapolis, Indiana, USA (2013.10.29-2013.10.31)] Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software - Onward! '13 - Growing solver-aided languages with rosette

Torlak, Emina, Bodik, Rastislav

Year:

2013

Language:

english

File:

PDF, 688 KB

english, 2013

31

[ACM Press the ACM SIGPLAN 1997 conference - Las Vegas, Nevada, United States (1997.06.16-1997.06.18)] Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation - PLDI '97 - Interprocedural conditional branch elimination

Bodík, Rastislav, Gupta, Rajiv, Soffa, Mary Lou

Year:

1997

Language:

english

File:

PDF, 1.93 MB

english, 1997

32

[ACM Press the 2005 ACM SIGPLAN conference - Chicago, IL, USA (2005.06.12-2005.06.15)] Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation - PLDI '05 - A serializability violation detector for shared-memory server programs

Xu, Min, Bodík, Rastislav, Hill, Mark D.

Year:

2005

Language:

english

File:

PDF, 318 KB

english, 2005

33

Programming by sketching for bit-streaming programs

Solar-Lezama, Armando, Rabbah, Rodric, Bodík, Rastislav, Ebcioğlu, Kemal

Journal:

ACM SIGPLAN Notices

Year:

2005

Language:

english

File:

PDF, 313 KB

english, 2005

34

Refinement-based context-sensitive points-to analysis for Java

Sridharan, Manu, Bodík, Rastislav

Journal:

ACM SIGPLAN Notices

Year:

2006

Language:

english

File:

PDF, 304 KB

english, 2006

35

A regulated transitive reduction (RTR) for longer memory race recording

Xu, Min, Hill, Mark D., Bodik, Rastislav

Journal:

ACM SIGARCH Computer Architecture News

Year:

2006

Language:

english

File:

PDF, 512 KB

english, 2006

36

Sketching stencils

Solar-Lezama, Armando, Arnold, Gilad, Tancau, Liviu, Bodik, Rastislav, Saraswat, Vijay, Seshia, Sanjit

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 221 KB

english, 2007

37

Combinatorial sketching for finite programs

Solar-Lezama, Armando, Tancau, Liviu, Bodik, Rastislav, Seshia, Sanjit, Saraswat, Vijay

Journal:

ACM SIGOPS Operating Systems Review

Year:

2006

Language:

english

File:

PDF, 307 KB

english, 2006

38

DITTO

Shankar, Ajeet, Bodík, Rastislav

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 253 KB

english, 2007

39

[ACM Press the 35th ACM SIGPLAN Conference - Edinburgh, United Kingdom (2014.06.09-2014.06.11)] Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 - Chlorophyll

Phothilimthana, Phitchaya Mangpo, Jelvis, Tikhon, Shah, Rohin, Totla, Nishant, Chasins, Sarah, Bodik, Rastislav

Year:

2013

Language:

english

File:

PDF, 506 KB

english, 2013

40

Parallel schedule synthesis for attribute grammars

Meyerovich, Leo A., Torok, Matthew E., Atkinson, Eric, Bodik, Rastislav

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 1.45 MB

english, 2013

41

Modeling biology with solver-aided programming languages

Bodik, Rastislav

Journal:

ACM SIGPLAN Notices

Year:

2014

Language:

english

File:

PDF, 321 KB

english, 2014

42

[ACM Press the ACM SIGPLAN 1997 conference - Las Vegas, Nevada, United States (1997.06.16-1997.06.18)] Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation - PLDI '97 - Partial dead code elimination using slicing transformations

Bodík, Rastislav, Gupta, Rajiv

Year:

1997

Language:

english

File:

PDF, 1.71 MB

english, 1997

43

Interprocedural conditional branch elimination

Bodík, Rastislav, Gupta, Rajiv, Soffa, Mary Lou

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 1.93 MB

english, 1997

44

Refining data flow information using infeasible paths

Bodík, Rastislav, Gupta, Rajiv, Soffa, Mary Lou

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1997

Language:

english

File:

PDF, 1.41 MB

english, 1997

45

Slack

Fields, Brian, Bodík, Rastislav, Hill, Mark D.

Journal:

ACM SIGARCH Computer Architecture News

Year:

2002

Language:

english

File:

PDF, 1.28 MB

english, 2002

46

[ACM Press the 28th annual international symposium - G?teborg, Sweden (2001.06.30-2001.07.04)] Proceedings of the 28th annual international symposium on Computer architecture - ISCA '01 - Focusing processor policies via critical-path prediction

Fields, Brian, Rubin, Shai, Bodík, Rastislav

Year:

2001

Language:

english

File:

PDF, 1.05 MB

english, 2001

47

A "flight data recorder" for enabling full-system multiprocessor deterministic replay

Xu, Min, Bodik, Rastislav, Hill, Mark D.

Journal:

ACM SIGARCH Computer Architecture News

Year:

2003

Language:

english

File:

PDF, 305 KB

english, 2003

48

[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Thin slicing

Sridharan, Manu, Fink, Stephen J., Bodik, Rastislav

Year:

2007

Language:

english

File:

PDF, 297 KB

english, 2007

49

[ACM Press the 2008 ACM SIGPLAN conference - Tucson, AZ, USA (2008.06.07-2008.06.13)] Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation - PLDI '08 - Sketching concurrent data structures

Solar-Lezama, Armando, Jones, Christopher Grant, Bodik, Rastislav

Year:

2008

Language:

english

File:

PDF, 462 KB

english, 2008

50

[ACM Press the 46th Annual Design Automation Conference - San Francisco, California (2009.07.26-2009.07.31)] Proceedings of the 46th Annual Design Automation Conference on ZZZ - DAC '09 - Synthesizing hardware from sketches

Raabe, Andreas, Bodik, Rastislav

Year:

2009

Language:

english

File:

PDF, 85 KB

english, 2009